const double t;

P =? [F[t,t] P1 = N]